Project Description
نویسنده
چکیده
Software programs making heavy use of pointers are notoriously difficult to analyse. To do so, one needs to understand which dynamic data structures and associated operations the program employs. Analysis tools for pointer programs, such as those based on shape analysis [65] and pointer graph abstraction [34], rely on an abstraction methodology that must be crafted for each specific data structure, and thus require a priori knowledge of the program to be analysed.
منابع مشابه
Translating the poetry of Apollinaire: Description of a project
This article outlines founding principles and a guiding strategy for the translation of Apollinaire’s poetry; many aspects of the strategy reflect the convictions and practices of Apollinaire’s own poetics. But the article is particularly concerned to argue that translation’s task is the projection of the source text into its future, rather than being an act of recuperat...
متن کاملمدیریت اجرایی اخلاق در پژوهش های علوم پزشکی: نتایج یک کارگاه
Backgrounds: Nowadays one of the major problems in research ethics, especially in medical researches, is how to make bioethics codes practical and how to oblige researchers to perform them. In this essay, we have tried to suggest all detailed activities of different management sides which have a role in different phases of performing a research project, to make codes more practical. Materials ...
متن کاملTBM Tunneling Construction Time with Respect to Learning Phase Period and Normal Phase Period
In every tunnel boring machine (TBM) tunneling project, there is an initial low production phase so-called the Learning Phase Period (LPP), in which low utilization is experienced and the operational parameters are adjusted to match the working conditions. LPP can be crucial in scheduling and evaluating the final project time and cost, especially for short tunnels for which it may constitute a ...
متن کاملThe ALST Project: Technologies for Audiovisual Translation
This paper presents an overview of the ALST project, in which speech technologies (speech recognition and speech synthesis) and machine translation were implemented in the voice-over of non-fictional genres and in the audio description of films. The paper presents the project rationale, a brief description of the experiments carried out within the project, as well as its main findings.
متن کاملA Fuzzy Description Logic Approach to Model Management in R&D Project Selection
Project selection is an important task in R&D project management. Several mathematical and decision models have been proposed for R&D project selection and current efforts have been on the effective model management approaches. In order to provide a formal and semantically rich method for model representation and to support content-rich formal reasoning, this paper proposes a fuzzy description ...
متن کاملStatus Report on Description Logics related Project in Korea
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge representation technologies is presented. From this short description of the project, the author and the participant of the project want to share and communicate with the experts in description logics area, and expand...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013